#include "pin.H"
class Checkpoint{

public:
  unsigned long stackSize;
  char *stack;
  //TODO: Find a way to make this not rely on PIN as a base class
  CONTEXT ctx; 

};
